<html>
<head><meta charset="utf-8"><title>meeting 2020.02.25 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html">meeting 2020.02.25</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="189054998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189054998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189054998">(Feb 25 2020 at 19:59)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> -- I'm going to go catch up with the notes from last week, but I wanted to raise the question of whether we can try to schedule the next "polonius sprint" (if we do indeed want to give this idea a spin).</p>



<a name="189055441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189055441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189055441">(Feb 25 2020 at 20:03)</a>:</h4>
<p>scheduling already ? :)</p>



<a name="189055563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189055563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189055563">(Feb 25 2020 at 20:04)</a>:</h4>
<p>would we need to prepare/update a roadmap to see what to do during this sprint ?</p>



<a name="189055701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189055701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189055701">(Feb 25 2020 at 20:06)</a>:</h4>
<p>last week we mostly continued the work on move errors, and I think clarified a bit what was left to do</p>



<a name="189055883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189055883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189055883">(Feb 25 2020 at 20:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116113">lqd</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E25/near/189055563" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E25/near/189055563">said</a>:</p>
<blockquote>
<p>would we need to prepare/update a roadmap to see what to do during this sprint ?</p>
</blockquote>
<p>not a bad idea :)</p>



<a name="189055904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189055904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189055904">(Feb 25 2020 at 20:08)</a>:</h4>
<p>sorry, I got distracted, but the good news is I am down to inbox 0 in my rust-lang/rust gh notifications :P</p>



<a name="189055906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189055906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189055906">(Feb 25 2020 at 20:08)</a>:</h4>
<p>there was a question from <span class="user-mention silent" data-user-id="127262">Aaron Weiss</span> but I hadn't enough information to fully answer, I did my best but that'll likely require a few seconds of your time Niko</p>



<a name="189055924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189055924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189055924">(Feb 25 2020 at 20:08)</a>:</h4>
<p>"feels like accomplishment"</p>



<a name="189055928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189055928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189055928">(Feb 25 2020 at 20:08)</a>:</h4>
<p>"isn't really"</p>



<a name="189055949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189055949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189055949">(Feb 25 2020 at 20:08)</a>:</h4>
<p>ok</p>



<a name="189055951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189055951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189055951">(Feb 25 2020 at 20:08)</a>:</h4>
<p>let me now catch up on that thread</p>



<a name="189056112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056112">(Feb 25 2020 at 20:10)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> I also wondered about another thing, correct me if I'm wrong but shouldn't we just stop the polonius process if we hit move errors (and would be able to bail, not needing to compute the borrowck and subset errors)</p>



<a name="189056115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056115">(Feb 25 2020 at 20:10)</a>:</h4>
<p>ok, so, in short you merged the work that <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> was doing, which is <em>awesome</em></p>



<a name="189056125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056125">(Feb 25 2020 at 20:10)</a>:</h4>
<p>I am trying to remember...</p>



<a name="189056128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056128">(Feb 25 2020 at 20:10)</a>:</h4>
<p>...we had these "new versions of the polonius rules"</p>



<a name="189056132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056132">(Feb 25 2020 at 20:10)</a>:</h4>
<p>that we created at last sprint</p>



<a name="189056137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056137">(Feb 25 2020 at 20:10)</a>:</h4>
<p>and that also involved renamings and things</p>



<a name="189056150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056150">(Feb 25 2020 at 20:10)</a>:</h4>
<p>(a) where were we writing those rules up? some hackmd?</p>



<a name="189056161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056161">(Feb 25 2020 at 20:10)</a>:</h4>
<p>(b) have we moved them into the polonius book at all?</p>



<a name="189056177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056177">(Feb 25 2020 at 20:11)</a>:</h4>
<p>(c) have we merged the source code up to match those rules, and were we going to do a great renaming at some point?</p>



<a name="189056181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056181">(Feb 25 2020 at 20:11)</a>:</h4>
<p>(a): yes, <a href="https://hackmd.io/CGMNjt1hR_qYtsR9hgdGmw" target="_blank" title="https://hackmd.io/CGMNjt1hR_qYtsR9hgdGmw">some hackmd</a>, (b) not yet</p>



<a name="189056228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056228">(Feb 25 2020 at 20:11)</a>:</h4>
<p>(c) some of it, but maybe not everything</p>



<a name="189056239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056239">(Feb 25 2020 at 20:11)</a>:</h4>
<p>(c) yes, in polonius!</p>



<a name="189056363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056363">(Feb 25 2020 at 20:12)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> was that "yes" to both halves?</p>



<a name="189056366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056366">(Feb 25 2020 at 20:12)</a>:</h4>
<p>maybe not all of the existing rules though</p>



<a name="189056407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056407">(Feb 25 2020 at 20:13)</a>:</h4>
<p>for move errors at least it seems like it was</p>



<a name="189056456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056456">(Feb 25 2020 at 20:13)</a>:</h4>
<p>(the rustc PR is not merged yet)</p>



<a name="189056531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056531">(Feb 25 2020 at 20:14)</a>:</h4>
<p>I'm planning to update the book with the new rules eventually</p>



<a name="189056614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056614">(Feb 25 2020 at 20:15)</a>:</h4>
<p>that would indeed be awesome</p>



<a name="189056758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056758">(Feb 25 2020 at 20:17)</a>:</h4>
<p>It should be mostly copy + paste plus some verification</p>



<a name="189056781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056781">(Feb 25 2020 at 20:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> somewhere we have our kind of "master roadmap" hackmd, right?</p>



<a name="189056786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056786">(Feb 25 2020 at 20:17)</a>:</h4>
<p>yeah and we also clarified what needed to be done in addition to the rustc PR, to actually emit the move errors. still TBD on how to do that, but knowing is half the battle :)</p>



<a name="189056787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056787">(Feb 25 2020 at 20:17)</a>:</h4>
<p>side note</p>



<a name="189056797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056797">(Feb 25 2020 at 20:17)</a>:</h4>
<p>I wonder if we  should move all these things to wiki pages on the polonius repo</p>



<a name="189056804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056804">(Feb 25 2020 at 20:18)</a>:</h4>
<p>so we don't have to keep fishing up these links</p>



<a name="189056877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056877">(Feb 25 2020 at 20:18)</a>:</h4>
<p>(also, I am tempted to try and port the roadmap to <a href="https://github.com/nikomatsakis/skill-tree" target="_blank" title="https://github.com/nikomatsakis/skill-tree">skill-tree</a>, but that project still needs more work first probably)</p>



<a name="189056886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056886">(Feb 25 2020 at 20:18)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E25/near/189056781" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E25/near/189056781">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116113">lqd</span> somewhere we have our kind of "master roadmap" hackmd, right?</p>
</blockquote>
<p>yes, I can find the link, and it would need to be updated with the more recent work ofc</p>



<a name="189056907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056907">(Feb 25 2020 at 20:18)</a>:</h4>
<p>I'm mostly thinking that this would be helpful in determing a next sprint goal</p>



<a name="189056920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056920">(Feb 25 2020 at 20:18)</a>:</h4>
<p>i.e., are we now roughly at "feature parity" with borrow checker?</p>



<a name="189056931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056931">(Feb 25 2020 at 20:19)</a>:</h4>
<p>I guess that would be determined by looking at those test cases that don't match behavior</p>



<a name="189056938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056938">(Feb 25 2020 at 20:19)</a>:</h4>
<p>(I know some of them are due to OOM errors)</p>



<a name="189056939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056939">(Feb 25 2020 at 20:19)</a>:</h4>
<p>I think we're getting close</p>



<a name="189056950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056950">(Feb 25 2020 at 20:19)</a>:</h4>
<p>the polonius side has more parity than the rustc side</p>



<a name="189056961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189056961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189056961">(Feb 25 2020 at 20:19)</a>:</h4>
<p>and there are those bugs indeed</p>



<a name="189057044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057044">(Feb 25 2020 at 20:20)</a>:</h4>
<p>(with the rustc PR as-is, we still won't <em>emit</em> the move errors that polonius computes)</p>



<a name="189057050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057050">(Feb 25 2020 at 20:20)</a>:</h4>
<p>ah</p>



<a name="189057057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057057">(Feb 25 2020 at 20:20)</a>:</h4>
<p>that seems imp't</p>



<a name="189057064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057064">(Feb 25 2020 at 20:20)</a>:</h4>
<p>right <span aria-label="upside down" class="emoji emoji-1f643" role="img" title="upside down">:upside_down:</span></p>



<a name="189057080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057080">(Feb 25 2020 at 20:21)</a>:</h4>
<p>I was looking into that but haven't made a lot of concrete progress yet, mostly looking around rustc</p>



<a name="189057124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057124">(Feb 25 2020 at 20:21)</a>:</h4>
<p><a href="https://hackmd.io/CGMNjt1hR_qYtsR9hgdGmw" target="_blank" title="https://hackmd.io/CGMNjt1hR_qYtsR9hgdGmw">Polonius rules</a> hackmd</p>



<a name="189057185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057185">(Feb 25 2020 at 20:22)</a>:</h4>
<p><a href="https://hackmd.io/UdIO2PR6QJqYxEBcmsm31Q" target="_blank" title="https://hackmd.io/UdIO2PR6QJqYxEBcmsm31Q">Polonius mini input language</a> hackmd -- I only vaguely remember what this was</p>



<a name="189057225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057225">(Feb 25 2020 at 20:22)</a>:</h4>
<p>we could put this rules doc in the book</p>



<a name="189057274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057274">(Feb 25 2020 at 20:23)</a>:</h4>
<p>I think we should, yes</p>



<a name="189057289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057289">(Feb 25 2020 at 20:23)</a>:</h4>
<p>maybe we should open an issue to add the rules doc into the book</p>



<a name="189057301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057301">(Feb 25 2020 at 20:23)</a>:</h4>
<p>yeah I'll do that</p>



<a name="189057309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057309">(Feb 25 2020 at 20:23)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AqNsP1xzTprxLe_WF3EVRCkQAg-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AqNsP1xzTprxLe_WF3EVRCkQAg-hk3a9ynduUN2gk1A0NNTF">polonius roadmap dropbox paper</a></p>



<a name="189057374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057374">(Feb 25 2020 at 20:24)</a>:</h4>
<p>Ah, <span class="user-mention" data-user-id="116113">@lqd</span>, so for placeholder loan support, how far did we get?</p>



<a name="189057393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057393">(Feb 25 2020 at 20:24)</a>:</h4>
<p>I see e.g. <a href="https://hackmd.io/CGMNjt1hR_qYtsR9hgdGmw#Compiler-notes-on-generating-the-placeholder-loans-support" target="_blank" title="https://hackmd.io/CGMNjt1hR_qYtsR9hgdGmw#Compiler-notes-on-generating-the-placeholder-loans-support">these notes</a></p>



<a name="189057404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057404">(Feb 25 2020 at 20:24)</a>:</h4>
<p>we did land those</p>



<a name="189057408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057408">(Feb 25 2020 at 20:24)</a>:</h4>
<p>both in polonius and rustc</p>



<a name="189057415"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057415" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057415">(Feb 25 2020 at 20:24)</a>:</h4>
<p>I thought so, yeah</p>



<a name="189057427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057427">(Feb 25 2020 at 20:25)</a>:</h4>
<p>(in Polonius only in the Naive algo ofc)</p>



<a name="189057430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057430">(Feb 25 2020 at 20:25)</a>:</h4>
<p>hmm maybe I <em>will</em> try making a skill-tree for polonius :)</p>



<a name="189057439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057439">(Feb 25 2020 at 20:25)</a>:</h4>
<p>I feel like this is <em>exactly</em> the kind of context I wanted to capture and make easily visible</p>



<a name="189057454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057454">(Feb 25 2020 at 20:25)</a>:</h4>
<p>the latter hackmd is a document where we brainstormed how tests could look, to test more things in polonius itself, rather than mostly using rustc's tests</p>



<a name="189057458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057458">(Feb 25 2020 at 20:25)</a>:</h4>
<p>Ah, yes, right, there was this question around naive rules</p>



<a name="189057470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057470">(Feb 25 2020 at 20:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116113">lqd</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E25/near/189057454" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E25/near/189057454">said</a>:</p>
<blockquote>
<p>the latter hackmd is a document where we brainstormed how tests could look, to test more things in polonius itself, rather than mostly using rustc's tests</p>
</blockquote>
<p>right</p>



<a name="189057490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057490">(Feb 25 2020 at 20:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E25/near/189057458" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E25/near/189057458">said</a>:</p>
<blockquote>
<p>Ah, yes, right, there was this question around naive rules</p>
</blockquote>
<p>and in particular <span class="user-mention" data-user-id="116113">@lqd</span> you had some optimizations that seemed to help a lot and be a lot simpler</p>



<a name="189057505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057505">(Feb 25 2020 at 20:25)</a>:</h4>
<p>it's all (well... some?) coming back to me now</p>



<a name="189057553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057553">(Feb 25 2020 at 20:26)</a>:</h4>
<p>and then there was the question of the "equivalence" relations</p>



<a name="189057558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057558">(Feb 25 2020 at 20:26)</a>:</h4>
<p>it did help but</p>



<a name="189057569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057569">(Feb 25 2020 at 20:26)</a>:</h4>
<p>seems like </p>
<blockquote>
<p>Integrating move / overwrite analysis (a la Lark)</p>
</blockquote>



<a name="189057576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057576">(Feb 25 2020 at 20:26)</a>:</h4>
<p>from the dropbox paper</p>



<a name="189057583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057583">(Feb 25 2020 at 20:26)</a>:</h4>
<p>is <em>mostly</em> checked</p>



<a name="189057589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057589">(Feb 25 2020 at 20:26)</a>:</h4>
<ul>
<li>our benchmarks are quite sparse (apart from Albins), so it was mostly impressive on clap</li>
</ul>



<a name="189057618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057618">(Feb 25 2020 at 20:26)</a>:</h4>
<ul>
<li>most of that win on clap was squashed in supporting placeholder loans</li>
</ul>



<a name="189057633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057633">(Feb 25 2020 at 20:26)</a>:</h4>
<p>heh</p>



<a name="189057646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057646">(Feb 25 2020 at 20:27)</a>:</h4>
<p>but it's important in general</p>



<a name="189057649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057649">(Feb 25 2020 at 20:27)</a>:</h4>
<p>welll I still really want to work on completeness/correctness first</p>



<a name="189057654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057654">(Feb 25 2020 at 20:27)</a>:</h4>
<p>and will help move/init I think</p>



<a name="189057657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057657">(Feb 25 2020 at 20:27)</a>:</h4>
<p>right</p>



<a name="189057662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057662">(Feb 25 2020 at 20:27)</a>:</h4>
<p>but it does seem like we're getting quite close</p>



<a name="189057681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057681">(Feb 25 2020 at 20:27)</a>:</h4>
<p>outlives relations are basically...done?</p>



<a name="189057684"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057684" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057684">(Feb 25 2020 at 20:27)</a>:</h4>
<p>do we report them from rustc?</p>



<a name="189057685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057685">(Feb 25 2020 at 20:27)</a>:</h4>
<p>and other work can still be done to compute which things we don't need to compute (heh) better</p>



<a name="189057747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057747">(Feb 25 2020 at 20:28)</a>:</h4>
<p>apart from the "equivalence" relations</p>



<a name="189057753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057753">(Feb 25 2020 at 20:28)</a>:</h4>
<p>regular outlives relations ?</p>



<a name="189057795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057795">(Feb 25 2020 at 20:28)</a>:</h4>
<p>(there's also the higher-rankedness which is huh interesting)</p>



<a name="189057817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057817">(Feb 25 2020 at 20:29)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116113">lqd</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E25/near/189057795" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E25/near/189057795">said</a>:</p>
<blockquote>
<p>(there's also the higher-rankedness which is huh interesting)</p>
</blockquote>
<p>yeah I'm ignoring that for the moment</p>



<a name="189057829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057829">(Feb 25 2020 at 20:29)</a>:</h4>
<p>I still think that should not be polonius's job</p>



<a name="189057836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057836">(Feb 25 2020 at 20:29)</a>:</h4>
<p>I think that chalk should handle it</p>



<a name="189057842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057842">(Feb 25 2020 at 20:29)</a>:</h4>
<p>yeah</p>



<a name="189057848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057848">(Feb 25 2020 at 20:29)</a>:</h4>
<p>I outlined some thoughts on that in <a class="stream" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits">#wg-traits</a> at some point</p>



<a name="189057868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057868">(Feb 25 2020 at 20:29)</a>:</h4>
<p>yeah, with Matthew</p>



<a name="189057977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189057977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189057977">(Feb 25 2020 at 20:30)</a>:</h4>
<p><a class="stream-topic" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits/topic/regions.20and.20universes">#wg-traits &gt; regions and universes</a></p>



<a name="189058004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058004">(Feb 25 2020 at 20:30)</a>:</h4>
<p>I think we're quite close, apart from emitting move errors which shouldn't be super hard, and unless I'm missing something it seems we did the first batch of what wanted to do wrt our completeness goal</p>



<a name="189058023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058023">(Feb 25 2020 at 20:31)</a>:</h4>
<p>OK. Very exciting.</p>



<a name="189058028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058028">(Feb 25 2020 at 20:31)</a>:</h4>
<p>(+ various bugs/improvements apart from our other goals)</p>



<a name="189058031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058031">(Feb 25 2020 at 20:31)</a>:</h4>
<p>Well, maybe next meeting we can try to plan out our next sprint</p>



<a name="189058038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058038">(Feb 25 2020 at 20:31)</a>:</h4>
<p>I'd still like to get away from regular meetings</p>



<a name="189058048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058048">(Feb 25 2020 at 20:31)</a>:</h4>
<p>the context switch time is killing me</p>



<a name="189058057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058057">(Feb 25 2020 at 20:31)</a>:</h4>
<p>and try to have focused sprints instead at some frequency</p>



<a name="189058059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058059">(Feb 25 2020 at 20:31)</a>:</h4>
<p>we can also do that async if that's better</p>



<a name="189058071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058071">(Feb 25 2020 at 20:31)</a>:</h4>
<p>well, maybe, but then I sometimes wind up ignoring :)</p>



<a name="189058074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058074">(Feb 25 2020 at 20:31)</a>:</h4>
<p>where that = plan out the next sprint</p>



<a name="189058075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058075">(Feb 25 2020 at 20:31)</a>:</h4>
<p>but we can try</p>



<a name="189058125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058125">(Feb 25 2020 at 20:32)</a>:</h4>
<p>there's no perfect plan</p>



<a name="189058152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058152">(Feb 25 2020 at 20:32)</a>:</h4>
<p>anyway I am going to add a 'work item' to try making a skill-tree roadmap</p>



<a name="189058164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058164">(Feb 25 2020 at 20:32)</a>:</h4>
<p>just beacuse I want to try it and it'll help me to understand</p>



<a name="189058169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058169">(Feb 25 2020 at 20:32)</a>:</h4>
<p>though really the <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AvC59n2sEYrIJRoipOg2_XAMAg-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AvC59n2sEYrIJRoipOg2_XAMAg-hk3a9ynduUN2gk1A0NNTF">dropbox paper</a> is good too</p>



<a name="189058173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058173">(Feb 25 2020 at 20:32)</a>:</h4>
<p>worst case you ignore till next meeting</p>



<a name="189058260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058260">(Feb 25 2020 at 20:33)</a>:</h4>
<p>do we have an up to date place listing the current discrepancies between polonius and rustc?</p>



<a name="189058269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058269">(Feb 25 2020 at 20:33)</a>:</h4>
<p>I guess I can run my own tests locally?</p>



<a name="189058338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058338">(Feb 25 2020 at 20:34)</a>:</h4>
<blockquote>
<p>rustc tests: lqd has started an analysis of rustc’s test suite behaviour under <code>-Zpolonius</code></p>
</blockquote>



<a name="189058339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058339">(Feb 25 2020 at 20:34)</a>:</h4>
<p>:)</p>



<a name="189058342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058342">(Feb 25 2020 at 20:34)</a>:</h4>
<p>that's probably pretty old</p>



<a name="189058346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058346">(Feb 25 2020 at 20:34)</a>:</h4>
<p>I seem to recall you did that</p>



<a name="189058351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058351">(Feb 25 2020 at 20:34)</a>:</h4>
<p>yeah</p>



<a name="189058372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058372">(Feb 25 2020 at 20:34)</a>:</h4>
<p>(gotta run, I promised to sync with <span class="user-mention" data-user-id="116083">@pnkfelix</span> 4 minutes ago :P)</p>



<a name="189058375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058375">(Feb 25 2020 at 20:34)</a>:</h4>
<p>so I had this document (I'm finding searching for hackmd links to be pretty difficult, with their titles sometimes missing)</p>



<a name="189058395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058395">(Feb 25 2020 at 20:34)</a>:</h4>
<p>I'll try to find those soon</p>



<a name="189058399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058399">(Feb 25 2020 at 20:34)</a>:</h4>
<p>yeah, it's important to give them titles</p>



<a name="189058405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058405">(Feb 25 2020 at 20:35)</a>:</h4>
<p>sometimes I search zulip</p>



<a name="189058426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058426">(Feb 25 2020 at 20:35)</a>:</h4>
<p>tests: we have one but I haven't updated since last time I updated rustc tests</p>



<a name="189058460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058460">(Feb 25 2020 at 20:35)</a>:</h4>
<p>I'll also look for it, but Albin has run those more recently, and seems like there were maybe 5 discrepancies</p>



<a name="189058728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189058728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189058728">(Feb 25 2020 at 20:38)</a>:</h4>
<p><a href="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view" target="_blank" title="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view">test discrepancies from October</a> I'll update this soon with the most up to date results</p>



<a name="189059137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189059137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189059137">(Feb 25 2020 at 20:43)</a>:</h4>
<p><a href="https://hackmd.io/wGwGGRCKStiWBq9voP4e2A" target="_blank" title="https://hackmd.io/wGwGGRCKStiWBq9voP4e2A">slightly more recent roadmap/dump</a> which I'll also need to update to include our more recent work e.g. on move errors — I feel it it has the information present in the dropbox paper and then some ?</p>



<a name="189066503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189066503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189066503">(Feb 25 2020 at 22:08)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> what do you want to with the rustc PR btw ? land as-is and then emit move errors in another PR ? or do both in the same PR ? (I'm not sure if I can push to it, but I have it built locally if that can save you a bit of time)</p>



<a name="189067155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189067155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189067155">(Feb 25 2020 at 22:18)</a>:</h4>
<p>ah unfortunate, in the meantime someone re-did the same work to update to the new fact format in <a href="https://github.com/rust-lang/rust/pull/69470" target="_blank" title="https://github.com/rust-lang/rust/pull/69470">https://github.com/rust-lang/rust/pull/69470</a></p>



<a name="189091525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189091525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189091525">(Feb 26 2020 at 07:30)</a>:</h4>
<p>Except the new facts, but yes</p>



<a name="189091537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189091537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189091537">(Feb 26 2020 at 07:31)</a>:</h4>
<p>I think that more or less answers your question though; we should really Just Get It Merged</p>



<a name="189097622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189097622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189097622">(Feb 26 2020 at 09:25)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> I can rebase and format your commits in another PR (at lunch break)</p>



<a name="189098294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189098294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189098294">(Feb 26 2020 at 09:35)</a>:</h4>
<p>Excellent, please do!</p>



<a name="189098369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189098369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189098369">(Feb 26 2020 at 09:36)</a>:</h4>
<p>I expect to be pretty much swamped in the near future</p>



<a name="189098666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189098666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189098666">(Feb 26 2020 at 09:40)</a>:</h4>
<p>alright, will do :)</p>



<a name="189110000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189110000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189110000">(Feb 26 2020 at 12:36)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> were you seeing 3 new test "failures" on the rustc PR (really, "unexpected pass" rather than failures per se) in the nll/maybe-initialized-drop-... tests: implicit-fragment-drop, with-fragment, with-uninitialized-fragment ?</p>



<a name="189111289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189111289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189111289">(Feb 26 2020 at 12:58)</a>:</h4>
<p>I'll open the PR and we can talk about this later, I'll have to compare the tests in polonius under 0.11 and 0.12, but those new init/move facts might actually make those NLL maybe-initialized-drop tests "fixed by polonius" <span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span></p>



<a name="189111832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189111832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189111832">(Feb 26 2020 at 13:05)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/pull/69482" target="_blank" title="https://github.com/rust-lang/rust/pull/69482">https://github.com/rust-lang/rust/pull/69482</a></p>



<a name="189111894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189111894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189111894">(Feb 26 2020 at 13:06)</a>:</h4>
<p>I saw two unexpected passes according to the Zulip logs</p>



<a name="189111905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189111905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189111905">(Feb 26 2020 at 13:06)</a>:</h4>
<p>I’ll check when I’m home</p>



<a name="189111963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189111963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189111963">(Feb 26 2020 at 13:07)</a>:</h4>
<p>ah <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E11/near/187949158" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E11/near/187949158">https://rust-lang.zulipchat.com/#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E02.2E11/near/187949158</a> !</p>



<a name="189112039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189112039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189112039">(Feb 26 2020 at 13:08)</a>:</h4>
<p>yes those 3:</p>
<div class="codehilite"><pre><span></span>[ui (polonius)] ui/nll/maybe-initialized-drop-implicit-fragment-drop.rs
[ui (polonius)] ui/nll/maybe-initialized-drop-with-fragment.rs
[ui (polonius)] ui/nll/maybe-initialized-drop-with-uninitialized-fragments.rs
</pre></div>


<p>are the 3 unexpected pass I'm seeing as well</p>



<a name="189112116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189112116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189112116">(Feb 26 2020 at 13:09)</a>:</h4>
<p>of the other 4-5 failures, 99% are trivial diagnostics changes (like grammar or wording) which I'll <code>--bless</code> in the future</p>



<a name="189326146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189326146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189326146">(Feb 28 2020 at 16:36)</a>:</h4>
<p>yeah I was not present at the meeting where those <span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span> where discussed, so after checking them to update the test document, indeed it's only 2 unexpected pass bug fixes, and an unexpected pass bug which I'll need to investigate. In other news I've updated the <a href="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view" target="_blank" title="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view">test analysis document</a>.</p>



<a name="189332486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189332486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189332486">(Feb 28 2020 at 17:43)</a>:</h4>
<p>The two unexpected passes (drop-implicit-fragment-drop and drop-with-unintialized-fragments) are both things that morally ought to be accepted, IMO.</p>



<a name="189332870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189332870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189332870">(Feb 28 2020 at 17:46)</a>:</h4>
<p>yes that's why I was mentioning them as bug fixes -- that is, if the 3rd one is fixed, otherwise it's a bug in the move/init analysis hiding borrowck errors heh</p>



<a name="189332986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189332986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189332986">(Feb 28 2020 at 17:47)</a>:</h4>
<p>since the 3 cases are so similar, it's a bit suspicious</p>



<a name="189333257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189333257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189333257">(Feb 28 2020 at 17:50)</a>:</h4>
<p>Ah, sorry, didn't quite understand what the phrase "unexpected pass bug fix" meant, but it makes sense now. <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="189333297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189333297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189333297">(Feb 28 2020 at 17:50)</a>:</h4>
<p>yeah sorry it wasn't super clear</p>



<a name="189333462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189333462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189333462">(Feb 28 2020 at 17:52)</a>:</h4>
<p>At least at a high level, I'm fairly sure Polonius _should_ be able to handle drop-with-fragment correctly (erroring) and the other two not. I recently finished (excepting issue 58053) getting all the borrowck and nll tests through my Oxide type checker implementation, and with provenances/origins, it works out on my end.</p>



<a name="189333464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189333464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189333464">(Feb 28 2020 at 17:52)</a>:</h4>
<p>it's more likely a single bug (the 3rd one), which on such small similar test cases shows up as unexpected fixes</p>



<a name="189333506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189333506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189333506">(Feb 28 2020 at 17:53)</a>:</h4>
<p>agreed</p>



<a name="189333555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189333555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189333555">(Feb 28 2020 at 17:53)</a>:</h4>
<p>(whether this inconsistency is in our move/init analysis rules or input facts remains to be seen)</p>



<a name="189333685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189333685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189333685">(Feb 28 2020 at 17:55)</a>:</h4>
<p>great news about oxide</p>



<a name="189352493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.25/near/189352493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E25.html#189352493">(Feb 28 2020 at 21:22)</a>:</h4>
<p>my kingdom for why-not provenance</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>